1. Fundamentals of mathematical logic /
پدیدآورنده: Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
2. Recursion-Theoretic hierarchies
پدیدآورنده: Hinman, Peter G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
1978
3. Recursion - Theoretic hierarchies
پدیدآورنده: / Peter G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursion theory - Hierarchies
رده :
511
.
3
H664
4. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
موضوع : ، Recursion theory-- Hierarchies
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Recursion-theoretic hierarchies
پدیدآورنده: / Peter G. Hinman
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
6. Recursion-theoretic hierarchies
پدیدآورنده: Hinman, peter G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory,، Hierachies
رده :
QA
9
.
62
.
H56
